Métodos Formais em Engenharia de Software
Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Cancel
Search
:
^e
Education/MFES1920 Web
Changed
Changed by
EM
12 Feb 2020 - 07:58 - r36
AlcinoCunha
Especificação e Modelação Programa Lógicas para especificação e modelação Lógica de primeira ordem Lógica relacional Lógica temporal ...
EquipaDocente
17 Sep 2019 - 11:04 -
NEW
JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Moreira Macedo Nuno Oliveira Sousa Pinto ...
Found
2
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM